1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeOperators #-} module Bug825 where data a :~: b data (:~~:) a b