Skip to content

Instantly share code, notes, and snippets.

@sighingnow
Created December 27, 2016 14:13
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 sighingnow/9996851945408e8a960f81bf262260a1 to your computer and use it in GitHub Desktop.
Save sighingnow/9996851945408e8a960f81bf262260a1 to your computer and use it in GitHub Desktop.
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