testsuite/tests/indexed-types/should_compile/ATLoop_help.hs


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