Typelevel.scala | Algebraic API Design - Types, Functions, PropertiesLinkShared 14 February 2019typelevel.org ↗