Add FunctorUsage / BifunctorUsage

"a list a type" -> "a list of a type" :wq