George writes:
> There is no problem with Showing functions with finite domains.
> For example, try:
> module ShowFun where
> instance (Show a) => Show (Bool -> a) where
> show f = show ((f True),(f False))
> instance (Show a) => (Show (Int -> a))
Why stop there? Eq and Read too, though they do become tricky at Int->Int.
--------------------------------------------------------------------
Ian Stark http://www.dcs.ed.ac.uk/home/stark
LFCS, Division of Informatics, The University of Edinburgh, Scotland
