module Toktok.Lattice where

import Control.Monad (liftM)

type Lattice a = [[a]]

-- lattice building
--- constructor
(<:) :: a -> Lattice a  -> Lattice a
s <: l = liftM (s:) l