module Main where

import Prelude
import Control.Monad.Eff.Console (log)

class NullaryTypeClass where
  greeting :: String

instance nullaryTypeClass :: NullaryTypeClass where
  greeting = "Hello, World!"

class Coerce a b where
  coerce :: a -> b

instance coerceRefl :: Coerce a a where
  coerce a = a

instance coerceShow :: Show a => Coerce a String where
  coerce = show

main = log "Done"