purescript-0.15.1: tests/purs/passing/4200/Lib.purs

module Lib where

data T :: forall m. m -> Type
data T msg = E

type TAlias :: forall k. k -> Type
type TAlias msg = T msg