liquidhaskell-0.8.0.2: tests/todo/T1037C.hs
{-# LANGUAGE TypeFamilies #-}
module T1037C where
import Language.Haskell.Liquid.ProofCombinators
class Generic a where
type Rep a :: * -> *
from :: a -> Rep a x
to :: Rep a x -> a
{-# LANGUAGE TypeFamilies #-}
module T1037C where
import Language.Haskell.Liquid.ProofCombinators
class Generic a where
type Rep a :: * -> *
from :: a -> Rep a x
to :: Rep a x -> a