cast-0.1.0.0: src/Pattern/Cast.hs

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

module Pattern.Cast where

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

instance Cast a a where
  cast = id