miscellaneous agda tests