shithub: MicroHs

ref: 9d767b734a2204aa7a9de0f8ba7b0a2b428bfbf0
dir: /tests/Eq1.hs/

View raw version 
module Eq1 where

class Eq1 f where
  eq1 :: (Eq a) => f a -> f a -> Bool

instance Eq1 Maybe where
  eq1 = (==)

main :: IO ()
main = do
  let x = Just (1::Int)
  print $ eq1 x x