-- bad implementation
-- eta = bin . pair (eta, eta)
--
-- a.k.a return
-- >>> let t2 = bin (tip 1, tip 2)
-- >>> t2
-- Bin (Tip 1) (Tip 2)
-- >>> eta t2
-- Tip (Bin (Tip 1) (Tip 2))
-- >>> fmap eta t2
-- Bin (Tip (Tip 1)) (Tip (Tip 2))
-- >>> mu . eta $ t2
-- Bin (Tip 1) (Tip 2)
-- >>> mu . fmap eta $ t2
-- Bin (Tip 1) (Tip 2)
eta = {- alpha . inl = [tip, bin] . inl = -} tip
eta = {- alpha . inl = [tip, bin] . inl = -} tip
eta = {- alpha . inl = [tip, bin] . inl = -} tip