As far i know, pompom has a decidable type check though.