purescript-0.14.0: tests/purs/failing/CoercibleRoleMismatch5.purs
-- @shouldFailWith RoleMismatch module Main where data F a = F a (G a) type role F phantom data G a = G (F a)
-- @shouldFailWith RoleMismatch module Main where data F a = F a (G a) type role F phantom data G a = G (F a)