type useless = | Useless