data X a = X a
type role X nominal