[ :~: (* -> *) Maybe (Either ()) ]