Fix finally tagless encoding bug, add example.