lu :: C.Identifier -> TyMap -> S.Type
lu n m = fromMaybe (throw $ InvalidType n)
                   (n `M.lookup` m)
lu :: C.Identifier -> TyMap -> S.Type
lu n m = fromMaybe (throw $ InvalidType n)
                   (n `M.lookup` m)
lu n m = fromMaybe (throw $ InvalidType n)
                   (n `M.lookup` m)