Skip to content

Instantly share code, notes, and snippets.

@hanshoglund
Last active January 31, 2018 15:49
Show Gist options
  • Save hanshoglund/0ff6fed45fa59a553df16fe9ebe8abe2 to your computer and use it in GitHub Desktop.
Save hanshoglund/0ff6fed45fa59a553df16fe9ebe8abe2 to your computer and use it in GitHub Desktop.
\f a -> (f a)
:: (a -> b) -> a -> b
\f a b -> (f a >>= ($ b))
:: Monad m => (a -> m (b -> m c)) -> a -> b -> m c
\f a b c -> (f a >>= ($ b) >>= ($ c))
:: Monad m => (a -> m (b -> m (c -> m d))) -> a -> b -> c -> m d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment