make the mine slippery too since it has the ice finish - add a gmDelete to the gear if you want it to *not* explode when hit ☺
{-# LANGUAGE ImpredicativeTypes #-}
module Main where
import qualified MODULE as M
main = undefined $ M.FUNCTION PARAMETERS