Skip to content

Instantly share code, notes, and snippets.

@sighingnow

sighingnow/T.hs

Created Dec 27, 2016
Embed
What would you like to do?
Haskell's $ operator for types.
{-# LANGUAGE TypeOperators #-}
module T where
-- | Infix application.
--
-- @
-- f :: IO $ Maybe Int
-- =
-- f :: IO (Maybe Int)
-- @
type f $ a = f a
infix 2 $
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment