specialType :: Type -> SpecialType
specialType (AppT (ConT m) x) | m == ''Maybe = SMaybe
specialType :: Type -> SpecialType
specialType (AppT (ConT m) x) | m == ''Maybe = SMaybe
specialType (AppT (ConT m) x) | m == ''Maybe = SMaybe