yoba

import Control.Exception
import Data.Typeable

newtype Foo = Foo (() -> IO ())

instance Typeable Foo where
    typeOf _ = typeOf (undefined :: ErrorCall)

instance Show Foo where
    show _ = ""

instance Exception Foo
main = Control.Exception.catch (error "POOKAN BOMBANOOL") (\ (Foo f) -> f ())