Disallow recursive type synonyms #67
Description
-- Fail
type F a = F a
-- Fail
type G a = H a
type H a = G a
-- Pass, because F does not expand!
newtype F a = F (G a)
type G a = H a
type H a = F a{{ message }}
-- Fail
type F a = F a
-- Fail
type G a = H a
type H a = G a
-- Pass, because F does not expand!
newtype F a = F (G a)
type G a = H a
type H a = F a