Data.Implicit

class Implicit s a

setParam

(~$)

($$)

class Implicit_ a

setParam_

($~)