super-hacky monomorphization of polymorphic functions