universe inconsistency

when instantiating a polymorphic type.
the kind of Pi is *