module Errortipos where

-- Causa error de tipos
-- main = f (0, 'a')
-- Expresion corregida
main = f('a', 0)

f :: (Char, Int) -> String
f (c, i) = [c] ++ show i