Paramorphism/annotations not found