Skip to content

Instantly share code, notes, and snippets.

@rajivr
Created September 22, 2019 03:41
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rajivr/6f530dfdfe1b827eddc68d98b527b5e8 to your computer and use it in GitHub Desktop.
Save rajivr/6f530dfdfe1b827eddc68d98b527b5e8 to your computer and use it in GitHub Desktop.
*Main> :t (return 1)
(return 1) :: forall {m :: * -> *} {a}. (Monad m, Num a) => m a
*Main> :t show
show :: forall {a}. Show a => a -> String
*Main> :t ((return 1) . show)
((return 1) . show) :: forall {c} {a}. (Num c, Show a) => a -> c
*Main> :t (.)
(.) :: forall {b} {c} {a}. (b -> c) -> (a -> b) -> a -> c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment