``Data.List.Base`` has ``filter`` based on ``Decidable P`` (which I like), but ``span``, ``dropWhile`` and some others still base on ``Bool``. This looks strange.