-- XXX: EOption is an ugly and inefficient solution to this problem.

-- | i1 type expected (condition scrutinee).
i1Option :: EOption
i1Option = EOption True
i1Option :: EOption
i1Option = EOption True
i1Option = EOption True