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