{-# LANGUAGE TypeData #-}
module TDDataConstructor where

type data P = MkP
data Prom = P