1 2 3 4 5 6 7 8 9 10 11
{-# OPTIONS_GHC -XLiberalTypeSynonyms #-} module ShouldCompile where type T a b = a type S m = m () f :: S (T Int) f = undefined