blob: a5459e507c0865583be4728370086150aa2dd31b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE UndecidableInstances #-}
{- # OPTIONS_GHC -O1 #-}
module T12234 () where
import Prelude (Eq)
data ExprF rT = ExprF rT rT deriving Eq
newtype Expr = Expr (Fix ExprF) deriving Eq
newtype Fix fT = In (fT (Fix fT))
deriving instance Eq (f (Fix f)) => Eq (Fix f)
|
