Skip to content

Instantly share code, notes, and snippets.

Created Dec 27, 2014
What would you like to do?
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-} -- GHC 7.6 needs this but GHC 7.8 does not
module Undecidable where
class a ~ a => C a
instance a ~ a => C a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment