testsuite/tests/typecheck/should_compile/T7641.hs


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

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

module T7641 where

data Foo b = Foo deriving Show

class ToFoo a b where
    toFoo :: a -> Foo b

instance ToFoo (c -> ()) b where
    toFoo _ = Foo

baz () = toFoo $ \_ -> ()