module Expr where expr a b = const a b where const a b = a