1 2 3 4 5 6 7 8 9
{-# OPTIONS_GHC -fobject-code #-} module GetTy (getTy) where import Lib getTy :: Ty -> Int getTy (Ty (Just n)) = n getTy (Ty Nothing) = error "uh oh"