Generics.Pointless.Bifctrable

data Bifctr f

class Bifctrable f

fixB

fctrB