Types.elm

import Html exposing (text)



type alias T = {name: String}
type alias R b = {b | name: String, age: Float}
type alias S a = {a | name: String}
type alias Q = {age: Float}


check : R b -> String
check {name,age} = name


update : S a -> S a
update v = {v | name = v.name ++ "!"}


update2 : R a -> S {a | age: Float} 
update2 v = {v | name = v.name ++ "!"}


v : S (R {})
v = {name = "Knut", age = 17.0}


main =
  text (update v |> .name)