source: sizechecking/branches/macs/Exp.hs @ 22

module Exp where

import Size

class Exp l where
    nil :: l [a]
    cons :: l a -> l [a] -> l [a]
    match :: l [a] -> l b -> l (a -> [a] -> b) -> [b]