-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ @package test @version 0.0.0 module Bug825 data a :~: b data (:~~:) a b