Re: a reliable way of dropping levity args?

2016-01-29 3:36 GMT-05:00 Simon Peyton Jones :

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