Skip to content

Instantly share code, notes, and snippets.

@rewinfrey

rewinfrey/TypeClassConstraintAsTypeAlias.hs

Created October 14, 2016 21:40
Show Gist options
  • Save rewinfrey/7895fe75562fa268d2da5e659d12cb49 to your computer and use it in GitHub Desktop.
Save rewinfrey/7895fe75562fa268d2da5e659d12cb49 to your computer and use it in GitHub Desktop.
Download ZIP
Type Class Constraint as a Type Alias
Raw
TypeClassConstraintAsTypeAlias.hs
{-# ConstraintKinds #-}
module TypeClassConstraintAsTypeAlias where
type Showable a = (Show a)
example :: Showable a => a -> a
example a = undefined
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment