test002.idr:7:Universe inconsistency