let
default () = ()