Resolving dependencies... Downloading ixmonad-0.57... Configuring ixmonad-0.57... Building ixmonad-0.57... Preprocessing library ixmonad-0.57... [ 1 of 19] Compiling Control.Effect.Helpers.List ( src/Control/Effect/Helpers/List.hs, dist/build/Control/Effect/Helpers/List.o ) [ 2 of 19] Compiling Control.Effect.Cond ( src/Control/Effect/Cond.hs, dist/build/Control/Effect/Cond.o ) src/Control/Effect/Cond.hs:11:25: GHC internal error: `k' is not in scope during type checking, but it passed the renamer tcl_env of environment: [(rn7, AThing forall (k :: BOX). (k -> * -> *) -> Constraint), (rn8, AThing forall (k :: BOX). (k -> * -> *) -> k -> k -> Constraint), (rn9, AThing forall (k :: BOX). (k -> * -> *) -> k -> k -> k)] In the kind `k' In the class declaration for `Cond' Failed to install ixmonad-0.57 cabal: Error: some packages failed to install: ixmonad-0.57 failed during the building phase. The exception was: ExitFailure 1