blob: 1ca3c7a4a548fb8cf61e49da925990f5c2906002 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies #-}
module T4099 where
type family T a
foo :: T a -> Int
foo x = error "urk"
bar1 :: T b -> Int
bar1 x = foo x
bar2 :: Maybe b -> Int
bar2 x = foo x
|