def sqrt(x)
  ...         
end

typesig :sqrt, [Numeric] => Numeric