>>803
https://wiki.haskell.org/Monomorphism_restriction