buttons840 2017-02-22 18:45:16
Axman6: yeah, i was just realizing the same thing :)
buttons840 2017-02-22 18:47:26
that seems like a suboptimal error from GHC, why does it complain an unknown type is missing a typclass instance?
buttons840 2017-02-22 18:48:52
generating good errors in all situations is hard I suppose
jle` 2017-02-22 19:33:49
is there a common natural transformation newtype haging around
jle` 2017-02-22 19:34:05
s/haging/hanging
jle` 2017-02-22 19:34:15
newtype Nat f g = Nat (forall a. f a -> g a)
Welkin 2017-02-22 19:37:30
There is one in servant
Welkin 2017-02-22 19:37:36
not sure if it's imported
Axman6 2017-02-22 19:39:53
does mmorph provide one?
Welkin 2017-02-22 19:41:19
http://hackage.haskell.org/package/servant-server-0.10/docs/Servant-Server.html#t::-126--62-
