haskell-tools-refactor-0.6.0.0: examples/Type/TupleAssert.hs
{-# LANGUAGE ConstraintKinds #-}
module Type.TupleAssert where
f :: (Ord a, (Show a, Eq a)) => a -> String
f = show
{-# LANGUAGE ConstraintKinds #-}
module Type.TupleAssert where
f :: (Ord a, (Show a, Eq a)) => a -> String
f = show