Skip to content

Instantly share code, notes, and snippets.

@timjb

timjb/InvertArrow.hs

Last active March 22, 2016 15:57
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save timjb/a75e4c1d2af2aa4fbbfc to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save timjb/a75e4c1d2af2aa4fbbfc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
InvertArrow.hs
{-# LANGUAGE TypeFamilies #-}
type family InvertArrow x :: * where
InvertArrow (a -> b) = b -> a
myId :: InvertArrow (a -> b) -> b -> a
myId x = x
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment