inverse

Coalgebraic and functional library