* 0.5.0.1 - Compatibility with GHC 8.2.1
* 0.5 - Relax types of underF and overF to allow different input & output funtors