gistfile1.txt

data Perro = Chan  {altura :: Int , muerde :: Bool}
           | Labrador {altura::Int , muerde ::  Bool}
    deriving (Show)

c  = Chan 4 True
l = Labrador 1 True

--Aseguro que lo que estoy recibiendo es un perro con el type signature 
test :: Perro -> String
test a = case a of
    Labrador _ _  -> " Es un Labrador "
    Chan _ _ -> "Es un Chan"

{-Este no funciona, hace el matching respecto al constructor , de hecho no compilaría
test2 a = case a of
            Perro -> "Es un perro"
-}