liquidhaskell-0.7.0.0: tests/todo/UseBound.hs

module UseBound where

import ImportBound

-- This crashes because the type of `by` has a bound Chain that
-- is unknown at import

myby = by