-- | Returns @True@ iff the expression is a 'Type' expression at its
-- top level.  Note this does NOT include 'Coercion's.
isTypeArg :: Expr b -> Bool
isTypeArg (Type {}) = True
isTypeArg :: Expr b -> Bool
isTypeArg (Type {}) = True
isTypeArg (Type {}) = True