unification-fd-0.10.0.1 no longer compiles

[mihaimaruseac]

Building library for unification-fd-0.10.0.1..
    [ 8 of 11] Compiling Control.Unification.IntVar
    
    /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:143:10: error:
        • Could not deduce (MonadPlus m)
            arising from the superclasses of an instance declaration
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of the instance declaration
        • In the instance declaration for ‘MonadLogic (IntBindingT t m)’
        |
    143 | instance (MonadLogic m) => MonadLogic (IntBindingT t m) where
        |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    
   /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:144:42: error:
        • Could not deduce (MonadPlus m) arising from a use of ‘msplit’
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of
              the type signature for:
                msplit :: forall a.
                          IntBindingT t m a -> IntBindingT t m (Maybe (a, IntBindingT t m a))
              or the instance declaration
        • In the second argument of ‘liftM’, namely ‘msplit m’
          In the first argument of ‘IBT’, namely ‘(coerce `liftM` msplit m)’
          In the expression: IBT (coerce `liftM` msplit m)
        |
    144 |     msplit (IBT m) = IBT (coerce `liftM` msplit m)
        |                                          ^^^^^^^^
    
    /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:149:39: error:
        • Could not deduce (MonadPlus m) arising from a use of ‘interleave’
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of
              the type signature for:
                interleave :: forall a.
                              IntBindingT t m a -> IntBindingT t m a -> IntBindingT t m a
              or the instance declaration
        • In the first argument of ‘IBT’, namely ‘(interleave l r)’
          In the expression: IBT (interleave l r)
          In an equation for ‘interleave’:
              interleave (IBT l) (IBT r) = IBT (interleave l r)
        |
    149 |     interleave (IBT l) (IBT r) = IBT (interleave l r)
        |                                       ^^^^^^^^^^^^^^
    /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:151:24: error:
        • Could not deduce (MonadPlus m) arising from a use of ‘>>-’
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of
              the type signature for:
                (>>-) :: forall a b.
                         IntBindingT t m a -> (a -> IntBindingT t m b) -> IntBindingT t m b
              or the instance declaration
        • In the first argument of ‘IBT’, namely ‘(m >>- (unIBT . f))’
          In the expression: IBT (m >>- (unIBT . f))
          In an equation for ‘>>-’: IBT m >>- f = IBT (m >>- (unIBT . f))
        |
    151 |     IBT m >>- f = IBT (m >>- (unIBT . f))
        |                        ^^^^^^^^^^^^^^^^^
    
    /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:153:35: error:
        • Could not deduce (MonadPlus m) arising from a use of ‘ifte’
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of
              the type signature for:
                ifte :: forall a b.
                        IntBindingT t m a
                        -> (a -> IntBindingT t m b)
                        -> IntBindingT t m b
                        -> IntBindingT t m b
              or the instance declaration
        • In the first argument of ‘IBT’, namely ‘(ifte b (unIBT . t) f)’
          In the expression: IBT (ifte b (unIBT . t) f)
          In an equation for ‘ifte’:
              ifte (IBT b) t (IBT f) = IBT (ifte b (unIBT . t) f)
        |
    153 |     ifte (IBT b) t (IBT f) = IBT (ifte b (unIBT . t) f)
        |                                   ^^^^^^^^^^^^^^^^^^^^
    
    /var/stackage/work/unpack-dir/unpacked/unification-fd-0.10.0.1-2ab844a3c5eb3ee21aaed1159c2d94b748f2f980b61420ea4b484d4bc789a157/src/Control/Unification/IntVar.hs:155:25: error:
        • Could not deduce (MonadPlus m) arising from a use of ‘once’
          from the context: MonadLogic m
            bound by the instance declaration
            at src/Control/Unification/IntVar.hs:143:10-55
          Possible fix:
            add (MonadPlus m) to the context of
              the type signature for:
                once :: forall a. IntBindingT t m a -> IntBindingT t m a
              or the instance declaration
        • In the first argument of ‘IBT’, namely ‘(once m)’
          In the expression: IBT (once m)
          In an equation for ‘once’: once (IBT m) = IBT (once m)
        |
    155 |     once (IBT m) = IBT (once m)
        |                         ^^^^^^

CC @sinelaw

Likely caused by logict's new release

[Bodigrim]

See wrengr/unification-fd#13