nmap package:QuickCheck

The basic building block for Function instances. Provides a Function instance by mapping to and from a type that already has a Function instance.