{-# LANGUAGE TypeOperators #-} module Test19834 where data (a:.b) = a:.b