Checking existance of type-annotated type is required. #1
Description
Following code is unexpectedly valid when type `Hoge' is undefined.
data x : Maybe[Hoge] = Nothing
{{ message }}
Following code is unexpectedly valid when type `Hoge' is undefined.
data x : Maybe[Hoge] = Nothing