a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederop nil : List a
71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6Christian Maederop head : List a -> a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederop snoc: List a -> a --> List a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder. snoc nil x = snoc nil x
71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6Christian Maeder. head nil x = x