HaskellGADTCommon
data
Constructor
cf2cons
isTreeType