if True then (Type -> Type) else Type