{-# LANGUAGE BangPatterns #-} !a = () ~b = ()