← All posts tagged category

segfault
? code Haskell category
Народ, а ведь по категорным законам вот такое должно всегда выполняться для инстансов Applicative и Monad одного типа?
```
let x = (,) <$> a <*> b
let y = do 
    aa <- a 
    bb <- b
    return (aa, bb)
x == b
```