parsing agda patterns