funny :: T -> Int
funny t = n
    where
      n | A x <- t = x
        | B x <- t = x
funny :: T -> Int
funny t = n
    where
      n | A x <- t = x
        | B x <- t = x
funny t = n
    where
      n | A x <- t = x
        | B x <- t = x