Oh whatever, just get it to typecheck

Signed-off-by: Ricky Elrod <ricky@elrod.me>