blob: 8814f480eb2f2bdf5e2156cb7c42f1e0a516dedc (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeFamilies #-}
module ATLoop_help where
class Foo a where
data FooT a :: *
int :: FooT a -> Int
instance Foo Int where
data FooT Int = FooInt !Int
int (FooInt n) = n
|