pc_bottoming_Id0 :: Name -> Type -> Id
-- Same but arity zero
pc_bottoming_Id0 name ty
 = mkVanillaGlobalWithInfo name ty bottoming_info
 where
    bottoming_info = vanillaIdInfo `setStrictnessInfo` strict_sig
    strict_sig = mkClosedStrictSig [] botRes
pc_bottoming_Id0 :: Name -> Type -> Id
pc_bottoming_Id0 name ty
 = mkVanillaGlobalWithInfo name ty bottoming_info
 where
    bottoming_info = vanillaIdInfo `setStrictnessInfo` strict_sig
    strict_sig = mkClosedStrictSig [] botRes
pc_bottoming_Id0 name ty
 = mkVanillaGlobalWithInfo name ty bottoming_info
 where
    bottoming_info = vanillaIdInfo `setStrictnessInfo` strict_sig
    strict_sig = mkClosedStrictSig [] botRes