Data.Semigroupoid.Static

data Static f a b