totality011.lidr:22:3-57:
   |
22 | > weCanOnlyGetOlder {t'' = Z} {t = Z}   _ _ _  =  LTEZero
   |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Main.weCanOnlyGetOlder is not total as there are missing cases