Simplifying monomorphisation