{-# LANGUAGE PatternSynonyms #-}
module B where
import A
foo :: SomeType Int Char -> String
foo x = case x of
MyPat a b -> show a ++ " " ++ [b]