*Anonymous Coward*
2018-03-04 11:23:37.502325 UTC

1 | fmap :: Functor f => (a -> b) -> f a -> f b |

2 | (<*>) :: Applicative f => f (a -> b) -> f a -> f b |

3 | flip (>>=) :: Monad m => (a -> m b) -> m a -> m b |

4 | |

5 | return :: Monad m => a -> m a |

6 | pure :: Applicative f => a -> f a |