{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}

class
    a -- Before operator
    :+
    b -- After operator