fun main () : transaction page = date <- source ""; format <- source ""; return | Some d => {[timef f d]})}/>