liquidhaskell-0.8.2.0: 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