Data.Semigroupoid.Static
data
Static
f a b