purescript-0.15.15: 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)