module RecordPuns where

cotile = tile {Kind.ospeedup}