module Main where import PolyLib.Prelude import PolyLib.Equal(pequal) data Rose a = Fork a [Rose a] deriving Show verytrue = True : verytrue main = print (pequal (==) verytrue (False : verytrue), pequal (==) (Fork 'P' []) (Fork 'P' [])) -- expected output: (False, True)