{-# LANGUAGE Arrows #-} module PatFail008 where f (a -< b) = _