1 2 3 4 5 6 7
module T10576 where (☀☀) :: () -> () -> () (☀☀) _ _ = () x1 = undefined :: () x2 = undefined :: ()