:: String -> Int -package:string-conversions package:Agda