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