trying to find the bug, causing (forall t1. t1 -> Id t1) being resolved to (a -> Id t1)
trying to find the bug, causing (forall t1. t1 -> Id t1) being resolved to (a -> Id t1)

stefankoegel/clickyEvaluation,stefankoegel/clickyEvaluation