1{-# LANGUAGE NamedFieldPuns #-}
2module RecordPuns where
3cotile = tile{Kind.ospeedup}
4