blob: 2c81faab2d0dd8c0d73eef57d8af4034fc84ef0c (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE TypeFamilies #-}
module ShouldFail where
type family T a
type instance T (a, [b]) = T (b, b) -- var occurs more often
type instance T (a, Maybe b) = T (a, Maybe b) -- not smaller
type instance T (a, IO [b]) = T (a, T b) -- nested tyfam application
|