Control.Tweak.Internal

data Maker a

make

apply

class Funktor g f

(.$.)

(.*.)

class Comply g h