Disabled monomorphism restriction for now