functional-abstraction/type

View on GitHub