1data Q a = Q a a
2x * (-1) = negate x
3Just x <> Nothing = Just x
4f (-1 `Q` _) = ()
5