Reimplement Latte subsets using Parsec