How might I be able to write multiple function definitions for multiple types in a polymorphic manner in Haskell?

Question

Given my type definitions:

data Tile = Revealed | Covered deriving (Eq, Show)
data MinePit = Clean | Unsafe deriving (E