wqsz7xn
Joined 6 years ago
Karma
44
Submissions
20
Member since
Aug 4
Joined 6 years ago
Huh? Where's (<*>) or liftA2? It's nice having all those types and everything to work over but if the applicative instance is wrong then the monad instance is wrong and then there isn't really a point in using the library? The nice thing about haskell is that all of the laws can be covered by quickcheck. Would be cool if there was something similar here!