-- to be found (-:>)
-- to be found (-+>)

(-:>) :: a -> b -> c
k -:> f = undefined

(-+>) :: a -> b -> c
k -+> f = undefined