So, do we want to add an `if isInstanceOf[T => T]` to these case statements as well? As such, this will throw an exception if it can't fit into the type. May not be a horrible idea to log a warning or something as well...