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