1 2 3 4 5 6 7 8
{-# LANGUAGE BangPatterns #-} module Proposal229a where data T a b = a :! b (!) :: x -> T a b -> (x, a, b) ~u ! !(!m :! !n) = (u, m, n)