blob: 7633f01f987be80e9c377d13d66ab178b788b943 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE TypeFamilies #-}
-- This should fail, I think, because of the loopy equality,
-- but the error message is hopeless
module Simple13 where
type family F a
same :: a -> a -> a
same = undefined
mkf :: a -> [F a]
mkf p = undefined
foo :: a ~ [F a] => a -> a
foo p = same p (mkf p)
|