import {Maybe} from 'purify-ts';

const foo = (bar: Maybe<number>) => {
    return bar;
}

console.log(foo(Maybe.zero()));
                ^^^^^^^^^^^^^
Argument of type 'Nothing' is not assignable to parameter of type 'Maybe<number>'.
  Types of property 'isJust' are incompatible.
    Type '() => boolean' is not assignable to type '() => this is AlwaysJust'.
      Signature '(): boolean' must be a type predicate.(2345)

import {Nothing, Just} from 'purify-ts';

export const foo = (a: number) => {
             ^^^
Exported variable 'foo' has or is using name 'AlwaysJust' from external module "file:///node_modules/purify-ts/Maybe" but cannot be named.(4023)
Property '__value' of exported class expression may not be private or protected.(4094)

    return a ? Nothing : Just(5)
}