module Gidl where