primus-0.3.0.0: nonempty and positive functions

Index - :

:=>Primus.TypeLevel