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

module Pattern.Cast where

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

instance Cast a a where
  cast = id