primus-0.2.0.0: nonempty and positive functions

Index - :

:=>Primus.TypeLevel