pedrofurla/λ> :t +v join @((->) Int)

Created February 23, 2021 04:00

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/pedrofurla/1ad748d7feb5247e32ec1f3e27aed2c2.js"></script>
Save pedrofurla/1ad748d7feb5247e32ec1f3e27aed2c2 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

λ> :t +v join @((->) Int)

	λ> :t +v join @((->) Int)
	join @((->) Int)
	:: forall a. Monad ((->) Int) => (Int -> Int -> a) -> Int -> a

Author

pedrofurla commented Feb 23, 2021

Needs :set -XTypeApplications -fprint-explicit-foralls

Author

pedrofurla commented Feb 23, 2021

λ> :set -XTypeApplications -fprint-explicit-foralls
λ> :t  +v join
join :: forall (k :: * -> *) a. Monad k => k (k a) -> k a

Author

pedrofurla commented Feb 23, 2021

For more https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_applications.html

Author

pedrofurla commented Mar 24, 2021

Use case that sparked this:

λ> join (+) 5
10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment