G'day all. "Claus Reinke" <[EMAIL PROTECTED]> schrieb im Newsbeitrag news:[EMAIL PROTECTED]
> > type Typ > > > > unit :: Typ -> Maybe () > > arrow :: Type -> Maybe (Typ,Typ) > > size :: Typ -> Integer > > size (unit -> ()) = 1 > > size (arrow -> (t1,t2)) = size t1 + size t2 The whole point of a view is that you make views that are semantically useful. data UsefulView = Unit | Arrow Type Type usefulView :: Type -> UsefulView size :: Type -> Integer size (usefulView -> Unit) = 1 size (usefulView -> Arrow t1 t2) = size t1 + size t2 Cheers, Andrew Bromage _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
