Generic types?

[akoidan]

Is it possible to check generics? import {check} from 'typend'

interface A<T> {
  a: T;
  c: string;
}

check<A<number>>({
  b: 'value'
})

this doesn't throw any errors, despite the type, despite that a is not even present neither c

[akoidan]

``