type-fun (hackage): Fun with types
Keywords: bsd3|dependent-types|library