@hackage defun-sop0.1

Defunctionalization helpers: lists

This package provides term definitions for type families in DeFun.List using NP type from sop-core package.