{-
%************************************************************************
%*                                                                      *
                   Size
*                                                                      *
************************************************************************
-}

typeSize :: Type -> Int
typeSize (LitTy {})      = 1
typeSize :: Type -> Int
typeSize (LitTy {})      = 1
typeSize (LitTy {})      = 1