Make monomorphised signatures

Not necessarily in a very clever way! Some functions should be
monomorphised at several types.