Skip to content

Instantly share code, notes, and snippets.

@ChristopherKing42
Created March 20, 2016 13:15
Show Gist options
  • Save ChristopherKing42/0b75680f378bbb4a46af to your computer and use it in GitHub Desktop.
Save ChristopherKing42/0b75680f378bbb4a46af to your computer and use it in GitHub Desktop.
{-# LANGUAGE Rank2Types #-}
import Control.Exception
class ErrorF a where
fromErrorF :: a -> SomeException
class ErrorG a where
fromErrorG :: a -> SomeException
class ErrorH a where
fromErrorH :: a -> SomeException
result2 :: forall a. (ErrorF a, ErrorG a) => IO (Either a Char)
result2 = undefined
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment