Add a comment about type instantiation using SweetToothRemember
functor to remember that it is not the ortodox way to use type inference.
Add little comments about requiring a type in
functor signature.