44b1d875 ^
1 2 3 4 5 6
module Bug458 where -- | See the defn of @'⊆'@. (⊆) :: () -> () -> () _ ⊆ _ = ()