Cast.hs

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}

module Pattern.Cast
  ( Cast (..)
  ) where

class Cast a b where
  cast :: a -> b

instance Cast a a where
  cast = id