isConLikeUnfolding _                                        = False
isConLikeUnfolding _                                        = False
isConLikeUnfolding _                                        = False