Phantom types with Flowtype
medium.com