L
Я хочу выяснить, имелось ли в виду что-то вроде "сабтайпинга без наследования"
Size: a a a
L
с#
L
DK
AM
L
L
с#
L
RI
PB
RI
AL
RI
AM
val a: String? = nullСразу предупреждаю, что не готов этому разговору много внимания уделять, а с моим небольшим уровнем знаний в хаскеле мне для него пришлось бы много гуглить.
if(a != null) {
// a: String
}
L
RI
RI
AM
AM