@hackage / multirec

Generic programming for families of recursive datatypes