+ Default method technique !!!
Implemented in Functor.fs for:
. Map based on Apply.
. Apply Based on Pure + Bind.
. Join based on Bind.
. Duplicate based on Extract.