testsuite/tests/driver/T16608/MyInteger.hs


1
2
3
4
5
6
7
8
9
10
11
12

module MyInteger
  ( MyInteger (MyInteger)
  , ToMyInteger (toMyInteger)
  ) where

newtype MyInteger = MyInteger Integer

class ToMyInteger a where
  toMyInteger :: a -> MyInteger

instance ToMyInteger Integer where
  toMyInteger = MyInteger {- . succ -}