One way we could handle this is by having an `UnspecifiedFunctionTypeValue` class that can hold a function with multiple type signatures.