# inverse Coalgebraic and functional library