-- Drei

data Drei a b c =
    Drei a b c
    deriving (Eq, Show)

instance Bifunctor (Drei a) where
    bimap f g (Drei a b c) = Drei a (f b) (g c)

-- SuperDrei

data SuperDrei a b c =
    SuperDrei a b
    deriving (Eq, Show)