Playing around with facebook's type checker