module Visible public export visible : () visible = ()