purescript-0.15.15: tests/purs/failing/CoercibleRoleMismatch4.purs

-- @shouldFailWith RoleMismatch
module Main where

data F a = F (G a)
type role F representational

data G a = G (F a)
type role G nominal