type Typ = Name ---> type Typ = TypeQ
some :: Maybe Int