%Hosp = type {
                 { \2 *, { \2, \4 } * },
                 { \2 *, { \2, \4 } * }
               }

implementation