monopati (hackage): Well-typed paths
Keywords: bsd3|library|system|cofree|path|stack|types