{-# LANGUAGE NamedFieldPuns #-}
module RecordPuns where
cotile = tile{Kind.ospeedup}