module Laksa::Contract