On Mon, 2 Nov 2015, Jan Bracker wrote:

If I add arguments to my local definitions I get the following errors:

Main.hs:27:3:
    Couldn't match kind ‘*’ with ‘[*]’
    When matching types
      m0 :: * -> * -> *
      State :: [*] -> * -> *

That sounds like a serious type mismatch that cannot simply be avoided by adding type signatures or type extensions.