a reliable way of dropping levity args?

[Ömer Sinan Ağacan]

2016-01-29 3:36 GMT-05:00 Simon Peyton Jones <simonpj at microsoft.com>:
>
> So you need something like
>
>         isLevityCon :: Type -> Bool
>         isLevityCon (TyConApp tc []) = isLevityTy (tyConKind tc)
>         ..
>
> Please document both functions carefully
>
> ALSO there is a bug in isLevityTy; it is missing a coreView test.  Would you like to fix this?

Just submitted a patch: https://phabricator.haskell.org/D1867