class RBS::Types::UntypedFunction

def sub(subst)

def sub(subst)
  return self if subst.empty?
  map_type { _1.sub(subst) }
end