This is a question concerning constrained polymorphic values, i.e.: values of type forall f. cxt f => a, where cxt is some constraint.
forall f. cxt f => a
cxt
As
