Can create an applied version of a functor unit
Not tested, needs a signature tu be usable